e56f801a83b92d54ec3254d3827faa4f9657b98c,tests/org.eclipse.xtext.tests/src/org/eclipse/xtext/util/formallang/PdaUtilTest.java,PdaUtilTest,testShortestStackemptyingPathStackSimplePopLoop,#,165

Before Change


	}

	public void testShortestStackemptyingPathStackSimplePopLoop() {
		PDA pda = newPDA();
		pda.state("A").start().to("B");
		pda.state("B").to("C", "B").pop("Y");
		pda.state("C").stop();
		assertEquals("[A, B, B, C]", util.shortestStackpruningPathTo(pda, newStack("Y", "Y"), "C"));
	}

After Change


	}

	public void testShortestStackemptyingPathStackSimplePopLoop() {
		StringPda pda = new StringPda("A", "C");
		pda.state("A").followedBy("B");
		pda.state("B").followedBy("C", "B").pop("Y");
		assertEquals("[A, B, B, C]", util.shortestStackpruningPathTo(pda, newStack("Y", "Y"), "C"));
	}